Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
931	Applied Semantics: Specifying and Developing Abstractions for Distributed Computation (Grand Challenge Discussion Paper – GC2, GC4, and GC6) Peter Sewell Keith Wansbrough Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 17:11:35 Logic in computer science Programming language semantics Denotational semantics Programming language Semantics Communications protocol OCaml Computer science Computing Theoretical computer science Software engineering
932	A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version) Ricardo Corin and Jerry den Hartog {ricardo.corin,jerry.denhartog}@cs.utwente.nl Department of Computer Science, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-04-26 14:51:39 Model theory Program logic Logic in computer science Predicate logic Hoare logic First-order logic Function Algorithm Probabilistic logic Mathematics Logic Mathematical logic
933	Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner () NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i Add to Reading List Source URL: rddlsim.googlecode.com Language: English - Date: 2014-10-06 22:18:15 Automated planning and scheduling Planning Domain Definition Language Logic in computer science Semantics Boolean algebra Fluent Bernoulli distribution FO Function Mathematics Mathematical logic Theoretical computer science
934	Inequality Constraints in Causal Models with Hidden Variables Changsung Kang Department of Computer Science Iowa State University Ames, IA 50011 Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2007-09-03 13:30:47 Logical syntax Bayesian network Networks Entailment Instrumental variable Inequality Causality Linear programming Variable Logic Mathematics Statistics
935	Innocent Game Models of Untyped Lambda Calculus Andrew D. Ker University College, Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:10 Mathematics Denotational semantics Lambda calculus Typed lambda calculus Game semantics Semantics of programming languages Combinatory logic Semantics Functional programming Theoretical computer science Logic in computer science Applied mathematics
936	Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:22:18 Mathematics Automated planning and scheduling Programming paradigms Operations research Planning Domain Definition Language Logic in computer science Boolean satisfiability problem Constraint satisfaction Linear programming Theoretical computer science Applied mathematics Constraint programming
937	Efficient Algorithms for Shortest Partial Seeds in Words Tomasz Kociumaka1 , Solon P. Pissis2 , Jakub Radoszewski1 , Wojciech Rytter1 , Tomasz Waleń1 1 University Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2014-06-14 17:59:10 Algorithm Mathematical logic Theoretical computer science
938	Microsoft Word - uclg2013.doc Add to Reading List Source URL: home.uchicago.edu Language: English - Date: 2013-10-02 14:37:41 Programming paradigms Applied mathematics Denotational semantics Computing Algorithm Computer Parallel computing Distributed computing Semantics of programming languages Theoretical computer science Logic in computer science Computer science
939	UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY Part IA: Structure of Papers 1 and 2 in 2015 Paper 1 Section A Attempt 1 question Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-04-13 06:49:04 Programming paradigms Applied mathematics Denotational semantics Computing Algorithm Computer Parallel computing Distributed computing Semantics of programming languages Theoretical computer science Logic in computer science Computer science
940	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Automated theorem proving Proof theory Logic in computer science Theoretical computer science Isabelle Mathematical proof Proof assistant Theorem Automated reasoning Logic Mathematics Mathematical logic